• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۱۰ پاسخ غیر تکراری از ۱۰ پاسخ تکراری در مدت زمان ۰,۵۵ ثانیه یافت شد.

1. Automata, languages and programming :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Machine theory -- Congresses.,Machine theory.

Classification :
QA267
.
J543
1991

2. Automated and algorithmic debugging :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Peter A Fritzson

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer Science.,Debugging in computer science -- Congresses.,Engineering & Applied Sciences.

Classification :

3. Declarative programming and knowledge management :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Dietmar Seipel, Michael Hanus, Salvador Abreu (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Declarative programming, Congresses.,Artificial Intelligence (incl. Robotics).,Logics and Meanings of Programs.,Numeric Computing.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Declarative programming.,Mathematical theory of computation.,Software Engineering.

Classification :
QA76
.
615

4. Functional and constraint logic programming :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Functional programming (Computer science) ; Congresses. ;

Classification :

5. Functional and constraint logic programming

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Functional programming (Computer science) ; Congresses. ; Constraint programming (Computer science) ; Congresses. ; Logic programming ; Congresses. ;

Classification :

6. Functional and constraint logic programming

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Santiago Escobar (ed.)

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Functional programming (Computer science)--Congresses,Constraint programming (Computer science)--Congresses,Logic programming--Congresses,WFLP

Classification :
QA
,
76
.
62
,.
W45
,
2009

7. Functional and constraint logic programming :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Josep Silva (ed.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Constraint programming (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic programming, Congresses.,Constraint programming (Computer science),Functional programming (Computer science),Logic programming.

Classification :
QA76
.
62

8. Functional and constraint logic programming :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Julio Mariño (edition)

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Logic programming, Congresses,Mathematical Logic and Formal Languages

Classification :
QA76
.
63
.
W45
2011

9. Functional and constraint logic programming

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Santiago Escobar (ed.

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: Functional programming (Computer science), Congresses,Constraint programming (Computer science), Congresses,Logic programming, Congresses

Classification :
QA76
.
62
.
W45
2010

10. Practical aspects of declarative languages :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: José Júlio Alferes, Moa Johansson (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Declarative programming languages, Congresses.,Declarative programming, Congresses.,Declarative programming languages.,Declarative programming.

Classification :
QA76
.
76
.
C65
  • »
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival